- 1 多媒体技术
- 2 服务计算
- 3 高性能计算
- 4 工业控制计算机
- 5 互联网
- 6 计算机安全
- 7 计算机辅助设计与图形学
- 8 计算机工程与工艺
- 9 计算机视觉
- 10 计算机应用
- 11 教育
- 12 分布式计算与系统
- 13 抗恶劣环境计算机
- 14 理论计算机科学
- 15 普适计算
- 16 嵌入式系统
- 17 人工智能与模式识别
- 18 人机交互
- 19 容错计算
- 20 软件工程
- 21 数据库
- 22 体系结构
- 23 网络与数据通信
- 24 物联网
- 25 系统软件
- 26 协同计算
- 27 信息保密
- 28 信息存储技术
- 29 信息系统
- 30 虚拟现实与可视化技术
- 31 中文信息技术
- 32 大数据
- 33 生物信息学
- 34 形式化方法
- 35 区块链
- 36 语音对话与听觉
- 37 集成电路设计
形式化方法专业委员会
(CCF Task Force on Formal methods 缩写为:CCF TFFM)
形式化方法以严格的数学化和机械化方法为基础来规约、构建和验证计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延生成为计算思维的重要载体。专委会立足于形式化方法核心内容,深化拓展形式化方法与相关领域的交叉,加强学术界与工业界合作,在科学研究、人才培养、国际交流、应用实践等方面努力开展卓有成效的工作,促进形式化方法在中国的发展。
联系方式
联系人:詹乃军
地址: 北京市海淀区中关村南四街4号,100190
电话: 010-62661615
电子信箱:znj[at]ios.ac.cn
第四届全国形式化方法与应用会议(FMAC 2019)
活动时间:2018-11-30
活动地点:上海
联系方式:傅育熙 fu-yx@cs.sjtu.edu.cn
关键字:会议编号:CCF-19-TC34-01N
主任
秘书长
副主任
委员
- 卜 磊 南京大学副教授 bulei[at]nju.edu.cn
- 曹永知 北京大学教授 caoyz[at]pku.edu.cn
- 曾红卫 上海大学研究员 zenghongwei[at]shu.edu.cn
- 陈立前 国防科技大学助理研究员 lqchen[at]nudt.edu.cn
- 陈铭松 华东师范大学副教授 mschen[at]sei.ecnu.edu.cn
- 陈雨亭 上海交通大学讲师 chenyt[at]cs.sjtu.edu.cn
- 陈振邦 国防科技大学讲师 zbchen[at]nudt.edu.cn
- 邓玉欣 华东师范大学教授 yxdeng[at]sei.ecnu.edu.cn
- 董 威 国防科技大学教授 wdong[at]nudt.edu.cn
- 董笑菊 上海交通大学副教授 xjdong[at]sjtu.edu.cn
- 董云卫 西北工业大学教授 Yunweidong[at]nwpu.edu.cn
- 杜德慧 华东师范大学副教授 dhdu[at]sei.ecnu.edu.cn
- 杜彦华 北京科技大学副教授 duyanhua[at]ustb.edu.cn
- 段振华 西安电子科技大学教授 zhhduan[at]mail.xidian.edu.cn
- 方 菱 中国科学院合肥物质分院副研究员 fang.ling[at]outlook.com
- 冯新宇 中国科学技术大学教授 xyfeng[at]ustc.edu.cn
- 顾 斌 北京控制工程研究所研究员 gubinbj[at]sina.com
- 关 楠 东北大学教授 guannan[at]ise.neu.edu.cn
- 关 永 首都师范大学教授 guanyong[at]cnu.edu.cn
- 郭 建 华东师范大学副教授 jguo[at]sei.ecnu.edu.cn
- 贺 飞 清华大学副教授 hefei[at]tsinghua.edu.cn
- 胡 宁 中航工业西安航空计算技术研究所研究员 hnhawk[at]163.com
-
胡海洋
杭州电子科技大学教授
hhy[at]mail.zjgsu.edu.cn - 黄志球 南京航空航天大学教授 zqhuang[at]nuaa.edu.cn
- 姜 茸 云南财经大学教授 okgoodbetterbest[at]163.com
- 焦 莉 中科院软件所研究员 ljiao[at]ios.ac.cn
- 孔维强 大连理工大学教授 wqkong[at]dlut.edu.cn
- 李 智 广西师范大学教授 zhili[at]gxnu.edu.cn
- 李广元 中科院软件所研究员 ligy[at]ios.ac.cn
- 李国强 上海交通大学副教授 li.g[at]sjtu.edu.cn
- 李梦君 国防科技大学副教授 mengjun.li[at]163.com
- 李晓红 天津大学教授 xiaohongli[at]tju.edu.cn
- 李宣东 南京大学教授 lxd[at]nju.edu.cn
- 刘 剑 中科院信息工程研究所副研究员 Liujian6[at]iie.ac.cn
- 刘 江 中科院重庆绿色智能技术研究院副研究员 liujiang[at]cigit.ac.cn
- 刘 静 华东师范大学教授 jliu[at]sei.ecnu.edu.cn
- 刘万伟 国防科技大学副教授 wwliu[at]nudt.edu.cn
- 刘志明 西南大学教授 Zhiming.liu88[at]gmail.com
- 吕 帅 吉林大学讲师 lus[at]jlu.edu.cn
- 毛晓光 国防科技大学教授 xgmao[at]nudt.edu.cn
- 缪淮扣 上海大学教授 hkmiao[at]shu.edu.cn
- 聂长海 南京大学教授 changhainie[at]nju.edu.cn
- 钮 俊 宁波大学副教授 niujun[at]nbu.edu.cn
- 庞 军 卢森堡大学教授 Jun.pang[at]uni.lu
- 蒲戈光 华东师范大学教授 ggpu[at]sei.ecnu.edu.cn
- 钱俊彦 桂林电子科技大学教授 qjy2000[at]gmail.com
- 裘宗燕 北京大学教授 qzy[at]math.pku.edu.cn
- 佘志坤 北京航空航天大学教授 zhikun.she[at]buaa.edu.cn
-
施智平
首都师范大学教授
Shizp[at]cnu.edu.cn - 宋 富 华东师范大学讲师 fsong[at]sei.ecnu.edu.cn
- 苏开乐 暨南大学教授 kailepku[at]gmail.com
- 孙 猛 北京大学副教授 sunmeng[at]math.pku.edu.cn
- 田 聪 西安电子科技大学教授 ctian[at]mail.xidian.edu.cn
- 王 超 中国科学技术大学副研究员 cswang[at]ustc.edu.cn
- 王 瑞 首都师范大学讲师 rwang04[at]cnu.edu.cn
- 王 伟 同济大学副教授 wwang[at]tongji.edu.cn
- 王海峰 北京交通大学教授 hfwang[at]bjtu.edu.cn
- 王捍贫 北京大学教授 whpxhy[at]pku.edu.cn
- 王林章 南京大学教授 lzwang[at]nju.edu.cn
- 王生原 清华大学副教授 wwssyy[at]tsinghua.edu.cn
- 王淑灵 中科院软件所助研 wangsl[at]ios.ac.cn
- 王小兵 西安电子科技大学副教授 xbwang[at]mail.xidian.edu.cn
- 文艳军 国防科技大学副教授 yjwen[at]nudt.edu.cn
- 吴 鹏 中国科学院软件研究所副研究员 wp[at]ios.ac.cn
- 吴怀广 郑州轻工业学院教授 hgawu[at]126.com
- 吴尽昭 广西民族大学教授 himrwujzh[at]aliyun.com
- 吴志林 中国科学院软件研究所副研究员 wuzl[at]ios.ac.cn
- 夏壁灿 北京大学教授 xbc[at]math.pku.edu.cn
- 肖美华 华东交通大学教授 xiaomh[at]ecjtu.edu.cn
- 徐立华 华东师范大学副教授 lhxu[at]cs.ecnu.edu.cn
- 徐田华 北京交通大学副教授 thxu[at]bjtu.edu.cn
- 许庆国 上海大学教师 qgxu[at]mail.shu.edu.cn
- 薛建新 上海第二工业大学副教授 jxxue[at]sspu.edu.cn
- 薛锦云 江西师范大学教授 jinyun[at]vip.sina.com
- 杨红丽 北京工业大学副教授 yhl.yang[at]gmail.com
- 杨志斌 南京航空航天大学副研究员 yangzhibin168[at]163.com
- 叶 宏 中航工业西安航空计算技术研究所副总工程师 mr_yehong[at]163.com
- 张 健 中科院软件所研究员 zj[at]ios.ac.cn
- 张 民 华东师范大学副教授 zhangmin[at]sei.ecnu.edu.cn
- 张 敏 华东师范大学副教授 mzhang[at]sei.ecnu.edu.cn
- 张 鹏 吉林大学讲师 zhangpengccst[at]jlu.edu.cn
- 张 天 南京大学副教授 ztluck[at]nju.edu.cn
- 张 昱 中国科学技术大学副教授 yuzhang[at]ustc.edu.cn
- 张广泉 苏州大学教授 gqzhang[at]suda.edu.cn
- 张立军 中科院软件所研究员 zhanglj[at]ios.ac.cn
- 张苗苗 同济大学研究员 miaomiao[at]tongji.edu.cn
- 张倩颖 首都师范大学讲师 qyzhang[at]cnu.edu.cn
- 张文辉 中科院软件所研究员 zwh[at]ios.ac.cn
- 张兴元 解放军理工大学教授 xingyuanzhang[at]126.com
- 赵 亮 西安电子科技大学讲师 lzhao[at]xidian.edu.cn
- 赵光锋 唐山师范学院教授 2295382038[at]qq.com
- 赵建华 南京大学教授 Zhaojh[at]nju.edu.cn
- 赵永望 北京航空航天大学副教授 zhaoyw[at]buaa.edu.cn
- 郑宇军 浙江工业大学副教授 yujun.zheng[at]computer.org
- 周清雷 郑州大学教授 ieqlzhou[at]zzu.edu.cn
- 朱维军 郑州大学副教授 zhuweijun[at]zzu.edu.cn
- 祝 义 江苏师范大学教授 zhuy[at]jsnu.edu.cn